parte de lógica formal que estuda as relações das estruturas axiomáticas e dedutivas de implicações lógicas nome masculino